Nuprl Definition : w-when
0,22
postcript
pdf
(
x
when
e
) == s(1of(
e
);2of(
e
)).
x
latex
clarification:
w-when(
w
;
x
;
e
) == w-s(
w
; 1of(
e
); 2of(
e
);
x
)
latex
Definitions
s(
i
;
t
).
x
,
1of(
t
)
,
2of(
t
)
FDL editor aliases
w-when
origin